8

Weak axioms of determinacy and subsystems of analysis I: δ games

Year:
1990
Language:
english
File:
PDF, 691 KB
english, 1990
9

Weak axioms of determinacy and subsystems of analysis II (∑02 games)

Year:
1991
Language:
english
File:
PDF, 901 KB
english, 1991
12

Statistical-mechanical approach to image processing

Year:
2002
Language:
english
File:
PDF, 1.67 MB
english, 2002
14

On Formalization of Model-Theoretic Proofs of Gödel's Theorems

Year:
1994
Language:
english
File:
PDF, 89 KB
english, 1994
15

A case of eosinophilic polymyositis complicated by myasthenia gravis

Year:
1998
Language:
english
File:
PDF, 232 KB
english, 1998
19

Non-standard Analysis in WKL0

Year:
1997
Language:
english
File:
PDF, 259 KB
english, 1997
26

Analysis of positive Lyapunov exponents from random time series

Year:
1998
Language:
english
File:
PDF, 563 KB
english, 1998
29

Cluster variation method and image restoration problem

Year:
1995
Language:
english
File:
PDF, 547 KB
english, 1995
30

Cancer detection using infrared hyperspectral imaging

Year:
2011
Language:
english
File:
PDF, 576 KB
english, 2011
31

Multifault calculation method for dynamic stability study of electric power systems

Year:
1994
Language:
english
File:
PDF, 869 KB
english, 1994
32

Load-flow equivalents for decentralized monitor and control of power systems

Year:
1994
Language:
english
File:
PDF, 855 KB
english, 1994
33

Thermophysical properties of SrUO4

Year:
2011
Language:
english
File:
PDF, 326 KB
english, 2011
35

Neuronal circuitries involved in thermoregulation

Year:
2000
Language:
english
File:
PDF, 156 KB
english, 2000
36

Quantitative method for evaluating generation margin for power system planning

Year:
2012
Language:
english
File:
PDF, 305 KB
english, 2012
48

Critical behavior of a frustrated spin-1 Ising model

Year:
1995
Language:
english
File:
PDF, 378 KB
english, 1995